Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
711	Model Checking by Random Walk P@trik Haslum Department of Computer Science, Linkoping University [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 04:30:03 Stochastic processes Markov models Eulerian path Random walk Markov chain SL Randomized algorithm Degree Loop-erased random walk Theoretical computer science Statistics Graph theory
712	A Comparison of Product-based, Feature-based, and Family-based Type Checking Sergiy Kolesnikov Alexander von Rhein Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2013-10-25 17:43:12 Software development Technology Model checking Type system Feature model Prototype Programming language Software bug Management Business Product family engineering Product management
713	09501 Abstracts Collection Software Synthesis Dagstuhl Seminar 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-07-08 05:29:51 Electronic design automation Digital electronics Electronic design Electronic engineering High-level synthesis Synthesizer Computer music Finite-state machine Model checking Music Sound Waves
714	Decidable Model-Checking for a Resource Logic with Production of Resources Natasha Alechina1 and Brian Logan1 and Hoang Nga Nguyen1 and Franco Raimondi2 Abstract. Several logics for expressing coalitional ability under r Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:25:23 Philosophy of language Philosophy of mind Semantics Metaphilosophy Philosophy Linear temporal logic Logic Model theory Interpretation
715	MODEL CHECKING OF ROBOTIC CONTROL SYSTEMS S. Scherer(1) , F. Lerda(2) , and E. M. Clarke[removed]) Add to Reading List Source URL: www.ri.cmu.edu Language: English - Date: 2008-12-02 20:27:06 Robot software Engineering Applied mathematics Mobile robot Java Pathfinder Formal verification Robotics Software development process Automation Formal methods Model checking Science
716	Advanced Topics in Combinatorial Methods for Testing Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-09-04 15:52:31 Computing Software engineering Temporal logic Assertion Debugging Fuzz testing Model checking Computation tree logic Java Modeling Language Software testing Logic in computer science Theoretical computer science
717	Property Verification for Generic Access Control Models Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-12-01 10:19:28 Model checkers Applied mathematics Model checking NuSMV Software testing Formal verification Role-based access control Software development process Formal methods Access control Security
718	FrankenBit: Bit-Precise Verification with Many Bits (Competition Contribution)? Arie Gurfinkel1 and Anton Belov2 1 Carnegie Mellon Software Engineering Institute Add to Reading List Source URL: anton.belov-mcdowell.com Language: English - Date: 2014-01-27 10:25:19 Constraint programming Electronic design automation Logic in computer science Satisfiability Modulo Theories LLVM Z3 Invariant Model checking Theoretical computer science Computing Software engineering
719	Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.org Language: English - Date: 2014-11-13 21:39:07 Software engineering Formal verification Model checking Carnegie Mellon University Software Engineering Institute Automated proof checking Proof-carrying code Formal methods Computer science Software development
720	LNCS[removed]ExpliSAT: Guiding SAT-Based Software Verification with Explicit States Add to Reading List Source URL: www.kroening.com Language: English - Date: 2014-05-11 10:56:05 Static single assignment form Model checking Algorithm Computing Compiler construction Abstract interpretation Symbolic execution

UPDATE